Mutation Testing Author

Name: Jonathan de Halleux
Affiliation: Microsoft Research
Email: jhalleux@microsoft.com
Webpage:
1Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux
Augmented dynamic symbolic execution
{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012.
BibTeX | Abstract | PDF | DOI
2Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei
Test generation via Dynamic Symbolic Execution for mutation testing
26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania, 2010.
BibTeX | Abstract | PDF | DOI
3Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte
Mutation Analysis of Parameterized Unit Tests
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
4Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte
Mutation Analysis of Parameterized Unit Tests
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
5Nuo Li and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, 2009.
BibTeX | Abstract | PDF | DOI